/**
 * Copyright (c) 2006 Amgad S Youssef
 * All Rights Reserved.
 * Licensed under the Eclipse Public License - v 1.0
 * For more information see http://www.eclipse.org/legal/epl-v10.html
 */
package org.eclipsejcde.core.preferences;

/**
 * Constant definitions for Java Card preferences
 */
/**
 * @author Amgad S Youssef
 *
 */
public class JCPreferenceConstants {

	// Java Card preferences
	/**
	 * Java Card Home location
	 */
	public static final String JAVA_CARD_PATH = "JAVA_CARD_PATH";

	// CREF preferences

	/**
	 * Connects to a TCP/IP port using the specified port number
	 */
	public static final String CREF_CL_OPTIONS_p = "CREF_CL_OPTIONS_p";

	/**
	 * Dumps a bytecode histogram at the end of the execution
	 */
	public static final String CREF_CL_OPTIONS_b = "CREF_CL_OPTIONS_b";

	/**
	 * Displays the program counter and stack when an exception occurs
	 */
	public static final String CREF_CL_OPTIONS_e = "CREF_CL_OPTIONS_e";

	/**
	 * Performs a trace display of the native methods that are invoked
	 */
	public static final String CREF_CL_OPTIONS_n = "CREF_CL_OPTIONS_n";

	/**
	 * Suppresses the printing of a program banner
	 */
	public static final String CREF_CL_OPTIONS_nobanner = "CREF_CL_OPTIONS_nobanner";

	/**
	 * Suppresses the printing of memory statistics when execution starts
	 */
	public static final String CREF_CL_OPTIONS_nomeminfo = "CREF_CL_OPTIONS_nomeminfo";

	/**
	 * Suppresses output. Does not create any output unless followed by other
	 * flag options
	 */
	public static final String CREF_CL_OPTIONS_s = "CREF_CL_OPTIONS_s";

	/**
	 * Performs a line-by-line trace display of the mask's execution
	 */
	public static final String CREF_CL_OPTIONS_t = "CREF_CL_OPTIONS_t";

	/**
	 * Prints the resource consumption statistics
	 */
	public static final String CREF_CL_OPTIONS_z = "CREF_CL_OPTIONS_z";

	// Converter preferences
	/**
	 * Generates the optional debug component of a CAP file. If the -mask option
	 * is also specified, the file debug.msk will be generated in the output
	 * directory.
	 * 
	 * Note--To generate the debug component, you must first compile your class
	 * files with the Java compiler's -g option.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_debug = "CONVERTER_CL_OPTIONS_debug";

	/**
	 * Uses the token mapping from the pre-defined export file of the package
	 * being converted. The Converter will look for the export file in the
	 * exportpath.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_exportmap = "CONVERTER_CL_OPTIONS_exportmap";

	/**
	 * Instructs the Converter to support the 32-bit integer type.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_i = "CONVERTER_CL_OPTIONS_i";

	/**
	 * Indicates this package is for a mask, so restrictions on native methods
	 * are relaxed.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_mask = "CONVERTER_CL_OPTIONS_mask";

	/**
	 * Suppresses all banner messages.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_nobanner = "CONVERTER_CL_OPTIONS_nobanner";

	/**
	 * Suppresses the verification of input and output files. For more
	 * information on file verification
	 */
	public static final String CONVERTER_CL_OPTIONS_noverify = "CONVERTER_CL_OPTIONS_noverify";

	/**
	 * Instructs the Converter not to report warning messages.
	 */
	public static final String CONVERTER_CL_OPTIONS_nowarn = "CONVERTER_CL_OPTIONS_nowarn ";

	/**
	 * Enables verbose output. Verbose output includes progress messages, such
	 * as "opening file", "closing file", and whether the package requires
	 * integer datatype support.
	 * 
	 */
	public static final String CONVERTER_CL_OPTIONS_verbose = "CONVERTER_CL_OPTIONS_verbose";

	/**
	 * Instructs the Converter to output the CAP file, and/or the export file,
	 * and/or the Java Card Assembly file. By default (if this option is not
	 * specified), the Converter outputs a CAP file and an export file.
	 */
	public static final String CONVERTER_CL_OPTIONS_out_cap = "CONVERTER_CL_OPTIONS_out_cap";

	public static final String CONVERTER_CL_OPTIONS_out_jca = "CONVERTER_CL_OPTIONS_out_jca";

	public static final String CONVERTER_CL_OPTIONS_out_exp = "CONVERTER_CL_OPTIONS_out_exp";

	// JCWDE preferences

	public static final String JCWDE_CL_OPTIONS_nobanner = "JCWDE_CL_OPTIONS_nobanner";

	public static final String JCWDE_CL_OPTIONS_p = "JCWDE_CL_OPTIONS_p";

	public static final String JCWDE_CL_OPTIONS_verbose = "JCWDE_CL_OPTIONS_verbose";

	public static final String JAVA_PATH = "JAVA_PATH";
}
